autoepistemic logic
英
美
网络 自认知逻辑; 自认识逻辑
双语例句
- The three-value semantics for the multi-agent autoepistemic logic program corresponds to general stable semantics and the simplified two-value semantics corresponds to the P stable set.
在给出了多自认知逻辑程序的三值语义模型后，证明了该语义是和广义稳定集相互对应的。而当三值语义简化为二值时，对应的是P稳定集。 - The single agent and multi-agent autoepistemic logic program are introduced.
本文分别讨论了单主体和多主体的自认知逻辑程序。